Parallel Program and Asynchronous Circuit Design
نویسندگان
چکیده
Asynchronous circuit design is a beautiful application area for any formalism that can reason about parallelism By means of two small but challenging exercises we illustrate the similarities and di erences between parallel program and asynchronous circuit design The exercises are simple to state and have many solutions which are sometimes surprisingly e cient They all illustrate many aspects of asynchronous circuit design For each exercise we present several solutions which are analyzed with respect to delay assumptions safety progress and performance issues We also mention some open problems This work is supported by the Natural Sciences and Engineering Research Council of Canada under grant OGP and by a grant from the Information Technology Research Centre of Ontario These notes are a revision of the lectures presented at the BANFF VII Workshop on Asynchronous Hardware Design August Sept Ebergen Segers Benko
منابع مشابه
Specication of a Microprocessor
The action system framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specied as a sequential program. The sequential specication is then rened into a concurrent program using correctness-preserving program transformations. Previously a similar derivation was carried out informally within the CSP-framework at Caltech, where also a ...
متن کاملA Programming Approach to the Design of Asynchronous Logic Blocks
Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchronous logic block is to interact with its environment. Using the tool di2pn, such a specification can be automatically translated into a Petri net. Using the tool petrify, the net can be automatically validated (for freedom from...
متن کاملAn Action System Speci cation of the CaltechAsynchronous
The action system framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is speciied as a sequential program. The sequential specii-cation is then decomposed and reened into a concurrent program using correctness-preserving program transformations. Previously this microprocessor has been speciied in a semi-formal manner at Caltech, where...
متن کاملA new asynchronous parallel global optimization method based on simulated annealing and differential evolution
This paper presents a new asynchronous parallel global optimization method and its application to the automated device sizing in analog integrated circuit (IC) design. The method is based on the simulated annealing algorithm (SA), but incorporates features from differential evolution (DE) to improve the sampling efficiency and avoid the problems involved with the cooling schedule selection. A s...
متن کاملDesign of power-efficient adiabatic charging circuit in 0.18μm CMOS technology
In energy supply applications for low-power sensors, there are cases where energy should be transmitted from a low-power battery to an output stage load capacitor. This paper presents an adiabatic charging circuit with a parallel switches approach that connects to a low-power battery and charges the load capacitor using a buck converter which operates in continuous conduction mode (CCM). A gate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002